$\forall$$x$, $y$:Atom. ($x$ =a $y$ $\sim$ ff) $\Rightarrow$ ($\neg$($x$ = $y$))